#include "../include/defs.h"

/**********************************
*
*  Kernel
*
***********************************/

#ifndef _kernel_
#define _kernel_

#define OS_PID	0

int (*player)(void);

typedef int size_t;
typedef short int ssize_t;
typedef enum eINT_80 {WRITE=0, READ} tINT_80;
typedef enum eUSER {U_KERNEL=0, U_NORMAL} tUSERS;

void gdt_set_gate( DESCR_SEG * item, unsigned long base, unsigned long limit,unsigned char access, unsigned char attr);

void printGDT(int i);

void inicializarPics(int pic1, int pic2);

size_t __write(int fd, const void* buffer, size_t count);


size_t __read(int fd, void* buffer, size_t count);

#endif
